Neutrino CP violating parameters from nontrivial quark-lepton correlation: a S3xGUT model

We investigate the prediction on the lepton phases in theories with a non trivial correlation between quark (CKM) and lepton (PMNS) mixing matrices. We show that the actual evidence, under the only assumption that the correlation matrix $V^M$ product of $CKM$ and $PMNS$ has a zero in the entry $(1,3)$, gives us a prediction for the three CP-violating invariants $J$, $S_1$, and $S_2$. A better determination of the lepton mixing angles will give a strong prediction of the CP-violating invariants in the lepton sector. These will be tested in the next generation experiments. To clarify how our prediction works, we show how a model based on a Grand Unified Theory and the permutation flavor symmetry $S_3$ predicts $V^M_{13}=0$.Comment: 7 pages, 3 figures. V2: new figure adde

Electronic bill presentment and payment--is it just a click away?

This article addresses the following questions about electronic presentment and payment (EBPP) in the business-to-consumer marketplace: Why aren't electronically presented bills always paid electronically? And, if EBPP does aid in the migration to fully electronic end-to-end payment, what are the barriers to its adoption.Payment systems ; Electronic funds transfers

Maternal Psychiatric Disease and Epigenetic Evidence Suggest a Common Biology for Poor Fetal Growth

We sought to identify and characterize predictors of poor fetal growth among variables extracted from perinatal medical records to gain insight into potential etiologic mechanisms. In this process we reevaluated a previously observed association between poor fetal growth and maternal psychiatric disease. We evaluated 449 deliveries of \u3e36 weeks gestation that occurred between 9/2008 and 9/2010 at the Women and Infants Hospital in Providence Rhode Island. This study group was oversampled for Small-for-Gestational-Age (SGA) infants and excluded Large-for-Gestational-Age (LGA) infants. We assessed the associations between recorded clinical variables and impaired fetal growth: SGA or Intrauterine Growth Restriction (IUGR) diagnosis. After validating the previously observed association between maternal psychiatric disease and impaired fetal growth we addressed weaknesses in the prior studies by explicitly considering antidepressant use and the timing of symptoms with respect to pregnancy. We then evaluated DNA methylation levels at 27 candidate loci in placenta from a subset of these deliveries (n = 197) to examine if epigenetic variation could provide insight into the mechanisms that cause this co-morbidity

Low energy n-\nuc{3}{H} scattering : a novel testground for nuclear interaction

The low energy n-\nuc{3}{H} elastic cross sections near the resonance peak are calculated by solving the 4-nucleon problem with realistic NN interactions. Three different methods -- Alt, Grassberger and Shandas (AGS), Hyperspherical Harmonics and Faddeev-Yakubovsky -- have been used and their respective results are compared. We conclude on a failure of the existing NN forces to reproduce the n-\nuc{3}{H} total cross section.Comment: To be published in Phys. Rev.

Formal Verification of Arithmetic Circuits by Function Extraction

The paper presents an algebraic approach to functional verification of gate-level, integer arithmetic circuits. It is based on extracting a unique bit-level polynomial function computed by the circuit directly from its gate-level implementation. The method can be used to verify the arithmetic function computed by the circuit against its known specification, or to extract an arithmetic function implemented by the circuit. Experiments were performed on arithmetic circuits synthesized and mapped onto standard cells using ABC system. The results demonstrate scalability of the method to large arithmetic circuits, such as multipliers, multiply-accumulate, and other elements of arithmetic datapaths with up to 512-bit operands and over 2 million gates. The results show that our approach wins over the state-of-the-art SAT/SMT solvers by several orders of magnitude of CPU time. The procedure has linear runtime and memory complexity, measured by the number of logic gates

Stability of radiation-pressure dominated disks. I. The dispersion relation for a delayed heating alpha-viscosity prescription

We derive and investigate the dispersion relation for accretion disks with retarded or advanced heating. We follow the alpha-prescription but allow for a time offset (\tau) between heating and pressure perturbations, as well as for a diminished response of heating to pressure variations. We study in detail solutions of the dispersion relation for disks with radiation-pressure fraction 1 - \beta . For \tau <0 (delayed heating) the number and sign of real solutions for the growth rate depend on the values of the time lag and the ratio of heating response to pressure perturbations, \xi . If the delay is larger than a critical value (e.g., if \Omega \tau <-125 for \alpha =0.1, \beta =0 and \xi =1) two real solutions exist, which are both negative. These results imply that retarded heating may stabilize radiation-pressure dominated accretion disks.Comment: 11 pages, 10 figures, to be submitted to A&

Multi-objective improvement of software using co-evolution and smart seeding

Optimising non-functional properties of software is an important part of the implementation process. One such property is execution time, and compilers target a reduction in execution time using a variety of optimisation techniques. Compiler optimisation is not always able to produce semantically equivalent alternatives that improve execution times, even if such alternatives are known to exist. Often, this is due to the local nature of such optimisations. In this paper we present a novel framework for optimising existing software using a hybrid of evolutionary optimisation techniques. Given as input the implementation of a program or function, we use Genetic Programming to evolve a new semantically equivalent version, optimised to reduce execution time subject to a given probability distribution of inputs. We employ a co-evolved population of test cases to encourage the preservation of the program’s semantics, and exploit the original program through seeding of the population in order to focus the search. We carry out experiments to identify the important factors in maximising efficiency gains. Although in this work we have optimised execution time, other non-functional criteria could be optimised in a similar manner